Big Huge Thesaurus

Boolean algebra

noun

• Boolean logic
• Boolean algebra
• formal logic
• mathematical logic
• symbolic logic